EqDecider($T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it eq}$:($T$$\rightarrow$$T$$\rightarrow\mathbb{B}$)$\times$($\forall$$x$:$T$, $y$:$T$. $x$ $=$ $y$ $\in$ $T$ $\Leftrightarrow$ ${\it eq}$($x$,$y$))